доказательство завершения
- доказательство завершения
proof of termination
завершение выполнения команды — instruction termination
завершение цикла; выход из цикла — loop termination
завершение работы программы — program termination
добровольное завершение — voluntary termination
нормальное завершение — normal termination
Русско-английский большой базовый словарь.
2014.
Look at other dictionaries:
Теория волн Эллиотта — (Elliott Wave Theory) Теория волн Эллиотта это математическая теория об изменении поведения общества или финансовых рынков Все о волновой теории Эллиотта: видео, книги, статьи о теории волн, информация о советниках и индикаторах волн Эллиотта… … Энциклопедия инвестора
ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия
Алгоритм проталкивания предпотока — решает задачу нахождения максимального потока в транспортной сети. Алгоритм не является частным случаем алгоритма Форда Фалкерсона. Реализованный без специальных усовершенствований, алгоритм выполняется за время . Некоторые усовершенствования ещё … Википедия
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия
Клейн, Лев Самуилович — В Википедии есть статьи о других людях с такой фамилией, см. Клейн. Лев Самуилович Клейн Дата рождения … Википедия
оценка — 3.9 оценка (evaluation): Систематическое определение степени соответствия объекта установленным критериям. Источник: ГОСТ Р ИСО/МЭК 12207 99: Информационная технология. Процессы жизненного цикла программных средств … Словарь-справочник терминов нормативно-технической документации
Кошон, Пьер — Пьер Кошон фр. Pierre Cauchon Бартелеми Ре … Википедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Женевская инициатива — «Женевская инициатива» (известна также, как «Geneva Accord» англ. и «יוזמת ז נבה» ивр.Yozmat Jeneva) проект соглашения о постоянном урегулировании между Государством Израиль и Организацией освобождения Палестины подготовленный группой… … Википедия
МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… … Энциклопедия Кольера
Пушкин, Александр Сергеевич — — родился 26 мая 1799 г. в Москве, на Немецкой улице в доме Скворцова; умер 29 января 1837 г. в Петербурге. Со стороны отца Пушкин принадлежал к старинному дворянскому роду, происходившему, по сказанию родословных, от выходца "из… … Большая биографическая энциклопедия